程序正確性證明proof: n. 1.證明;證據;【法律】證件;【法律】(口頭或書面 ...correctness proof: 正確性證明proof of correctness: 程序正確性證明; 正確性證明correctness oriented programming: 正確性的程序設計correctness-oriented programming: 面向正確性的程序設計下載手機詞典可隨時隨地查詞查翻譯